{- 
	illustrates path length problem

	the pre_f_chain method should make sure that the pre_a method gets invoked
	*after* all the other methods

	draw diagram :)
-}

a ::= d | b ;
d ::= T | f ;
b ::= T | e ;
e ::= T | f ;
f ::= ;

